In set theory, a branch of mathematics, a set is called transitive if either of the following equivalent conditions hold:
- whenever , and , then .
- whenever , and is not an urelement, then is a subset of .
Similarly, a class is transitive if every element of is a subset of .